（来源：上观新闻）
有投资者向⌛精研科😠😂技（3🇬🇵🌠00709.SZ🛏）提问，请问贵司🥬🌁的也冷🦉技术目前取得了哪💟些进展，已经⤵🥜有实质性☺🦙订单了吗，技术🧻上与目前市🐭场上主🇫🇲🇰🇼流规模化应用的有🦷哪些区别👨👩👦👦🤰和优势呢，我🍜知道贵司因为保♾️密协议不会透🔑漏相关客户，但✉是对于投资者而🦹♀️🍨言，是否有权利知📨🐩晓贵司的产🔖品研发🏚和销售的大概情况🔉，未来贵司可❓午夜福利91否主动的🌖🏨对投资者公布相关🕉消息？ 4月20🔃日，公司回答🔢表示，1.在散㊗🏏热解决🏯🔸方案领域🚪，公司👽🧮致力于为⏸🏍客户提供散热模拟🧢仿真、设计、制🐊造、测🔃试等一🥮♥站式服🇨🇰务，打造定制⛱😥化散热解决方🚋案，并🐉提供高效可靠➰的散热产品，目🇩🇿🌃前公司主要💎📏产品为液🤽♀️冷模组、液⛲🥕冷板、风冷模组💶等，应用🛏于边缘计算服务🇲🇪午夜福利91器、储能等领域❄。
Fel📮🚈dman说🕵️♀️，他从未🥨🗑怀疑过团队的🇮🇪午夜福利91执行力，"🧛♀️我怀疑🌫的是我自己💻🥯有没有把🧮🚣♀️他们引向正确的🇨🇵方向"🏌。图丨基于自然语🥡言的代码正确性推😗理示例🏰🗃（来源😦🆗：arXi▶v） 如上图所示🇪🇹，FM-Age🇱🇺nt 逐段推理🕢代码执行后的😞🚤程序状态描🌗述（注👩💻释部分🏂），即后置条件🎩，一直推理到函数🙎返回，检查🇻🇪最终的程序状态描🥚🔇述是否违背😟了规约里对最终程🕤序状态的🤷♀️6️⃣要求🚄🚹。
后续购买算力🔠📉，10👄0万元以内🦑❗部分补😐🌇贴40%，200🍬万元以上部分😄补贴25%👁♟️，单个企业年度👩👩👦👦补贴最高可达1🙍00万元📔🦶。因此，尽管🇳🇵相关工作在自动生📴👉成证明方🤷♂️面取得了长足的进🕚步，但🌝🚏是从本🇹🇫质上来看💫🗣形式化方法💰📽仍然是‘屠龙🐗之术’，难以🌅🇸🇴推广至大规模🌙系统软件💿。
